drop the 'given' stuff for Is-Directives
cleanup + syntax