Learn Hardcore Polish: sprzeciw - the formal objection