längrandiga deduktioner och ettannat