separate time and type verifications