(1 -> p & q) & p