predicate-logic (scooter-lacroix/maestro) | verified-skill.com | vskill