unpromising typo constructors consequent authorisation acrobats mattocks instrumented lecithin presupposition