Так а чёб не набросить, если скучно на работе сегодня. Но вы из весёлого срача ушли сразу в унылою терминологию и пруфы. А это не интересно.